
DEFINITION MODULE JaNein;


PROCEDURE JaNein() : BOOLEAN;


END JaNein.


